1. A layered declarative approach to ontology translation with knowledge preservation

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Knowledge representation )Information theory(,، Conceptual structures )Information theory(,، Ontology,Syntax ، Programming languages )Electronic computers(,، Database design,، Expert systems )Computer science(

رده :
Q
387
.
C67
2005

2. ACM Turing Award lectures :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)

رده :
QA76
.
24
.
A33
1987

3. Advances in computers.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Computers.,Electronic datat processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.

رده :
QA76
.
A3eb
vol
.
5

4. Artificial Intelligence, Expert Systems and Languages in Modelling and Simulation : Proceedings of the 1st IMACS Symposium on Artificial Intelligence, Expert Systems, and Languages in Modelling and Simulation, Barcelona, Spain, 2-4 June, 1987

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer simulation,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
C65I46
1987

5. Computers and languages: Theory and Practice

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Electronic digital computers- Programming,Programming language (Electronic Computer)

رده :
QA
،
76
.
6
،.
N55
،
1988

6. Computers and languages : theory and practice

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computer programming,، Programming languages )Electronic computers(

رده :
QA
76
.
6
.
N55
1988

7. Constraint Solving and Language Processing

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.

8. Declarative agent languages and technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Declarative programming

رده :
QA
76
.
L28
Vol
.
3476

9. Declarative agent languages and technologies V

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses

رده :
QA
,
76
.
76
,.
I58
,
D43
,
2007

10. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(

رده :
QA
76
.
L28
Vol
.
2990

11. Exploring Robotics with ROBOTIS Systems

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science. , Programming languages (Electronic computers) , Artificial intelligence.

رده :
E-Book
,

12. It's all about coordination :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
58
.
I87
2018eb

13. Language, logic, and computation :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.

رده :
QA76
.
9
.
L63

14. Logic, language, and computation

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses

رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005

15. Meta - Levels Architectures and Reflection

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)

رده :
QA
،
76
.
7
،.
M48
،
1988

16. Meta-level architectures and reflection

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Programming languages )Electronic computers(,، Artificial intelligence,، Expert systems )Computer science(

رده :
QA
76
.
7
.
M48
1988

17. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(

رده :
QA
76
.
L28
Vol
.
1616

18. Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(

رده :
QA
76
.
L28
Vol
.
2192

19. Multiparadigm constraint programming languages /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science

رده :
QA76
.
6
.
H64
2011

20. Multiparadigm constraint programming languages /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science

رده :
QA76
.
6
.
H64
2011